timestamp for src/include/junk_config.h
